也谈“数据结构”课程教学的几个问题

本文针对困扰"数据结构"课程教与学的几个问题,作者根据自己的认识和多年的实际教学经验,进行深入浅出的分析和论述,以其对提高课程的认识和兴趣、牢固掌握课程知识及其灵活运用、提高利用计算机解决问题的能力具有很好的指导作用。     

一种核心子集选择训练的大规模中文网页分类方法

针对Web页面分类方法一般只能处理小规模数据的问题,提出一种核心子集选择训练的大规模中文网页分类方法.该方法通过将支持向量机的最优化求解问题转化为等价的近似最小闭包球求解问题,使得只需选择数据集的核心子集参与分类器训练;并且,在特征选择阶段采用改进的基于词性的互信息特征选择模型,有效提高Web页面分类的大规模数据处理能力.在搜狗实验室提供的大规模Web页面数据集上进行了实验,实验结果表明不仅准确率可达到支持向量机同等的效果,且训练时间大大减少;而对不均衡类别数据的测试结果表明,该方法在处理不均衡类别数的Web网页分类上也能获得很好的效果.     

Non-Cohen-Macaulay unique factorization domains in small dimensions

We construct examples of non-Cohen-Macaulay unique factorization domains in small dimension. We find a unique factorization domain of dimension 3 which is not a Cohen-Macaulay ring. Moreover, there is an example of a five-dimensional affine ring S over a field k with the property that S is a non-Cohen-Macaulay unique factorization domain whenever Char k=2, while it is a Gorenstein non-factorial ring for Char k≠2. The arguments for the proofs are conceptional as well as based on a Computer Algebra System like Singular or Macaulay. For the theoretical background we investigate the factorial closure of the symmetric algebra of certain monomial modules.     

数据并行计算机体系结构建模

分析并研究国内外典型的数据并行计算机体系结构建模,结合LS-MPP计算机的体系结构,提出一种基于二维阵列结构的SIMD计算机抽象模型。通过对逻辑部件的时序分析,实现关于该模型的解释型SIMD仿真器,在进行细粒度时钟精确级建模时兼顾仿真效率。仿真器测试结果表明,该抽象模型具有一定应用价值。     

飞轮通用测试软件平台的设计与实现

针对原有飞轮测试设备复用性差、维护成本高、难以保证多套产品同步自动测试的问题,设计开发了针对多型号飞轮的通用自动化测试系统;通过深入分析,提炼出多个产品在测试过程中功能的一致性和接口的差异性,采用分层架构、抽象工厂的设计模式以及配置文件的方法,解决了测试软件的通用性问题;提出了基于测试流程表的自动测试解决方案,能够适应多种测试流程的要求,扩展性强;采用混合多线程并行处理架构,解决了资源冲突,完善了多台飞轮的并行测试;该测试软件已在多型号飞轮的批产任务中使用,稳定可靠、适应性强,提高了设备使用率三倍以上,大大提升了飞轮批产测试效率。     

一个基于两区间八边形约束的抽象域

抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈[a,b]∪[c,d],其中x和y表示变量取值,a,b,c,d∈R。该抽象域的域元素是用两区间八边形约束表示,因此可以表达某类非凸性质,表达能力强于经典的八边形抽象域,并且相对于八边形抽象域,域操作的计算复杂度并没有提高太多。     

基于加速度传感器的大手势集手势识别算法改进研究

搭载着加速度传感器的智能移动终端为手势识别提供广泛的应用平台,在已有的基于单枚加速度传感器的手势识别研究中,识别正确率、速度和手势集合难以达到良好的平衡。本文以一种基于加速度符号序列的识别算法为基础,改进了其特征提取方法,并设计了基于加权树结构模板库的匹配方法,实现了大手势集、高正确率、速度快的手势识别。实验表明,所述系统在21个手势组成的手势集合上,实现了95.2%的用户依赖识别率和94.6%的用户非依赖识别率,识别时间小于10毫秒,对手势识别研究有一定的借鉴价值。     

移动机器人闭环检测的视觉字典树金字塔TF-IDF得分匹配方法

针对移动机器人视觉闭环检测中,基于视觉字典本的场景外观表征性能受制于有限单词个数以及算法效率低的不足,本文对机器人视觉特征分层量化,构建视觉字典树, 计算树节点的TF-IDF熵作为对应视觉单词的权重,生成图像--单词逆向文档索引.为消除视觉字典本的单尺度量化误差,并克服基于字典树投影路径的平面匹配模式中不 区分不同层次节点的区分度对闭环检测的影响,本文融合字典树低层单词的强表征性和高层单词的强鲁棒性,提出由下而上逐层计算图像间相似性增量的金字塔得分匹 配方法.将不同时刻相似性大于阈值的图像位置提取为候选闭环,通过后验确认操作剔除误正闭环.在移动机器人视觉闭环检测实验中,本文算法提高了图像相似性计算 的效率和准确性,提高了闭环检测的准确率和召回率.